Knihy od autora Chuchu Fan

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Formal Methods for Safe Autonomy

   Chuchu Fan | Association for Computing Machinery, 2024

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1229 Kč

   Koupit
2. 

   Formal Methods for Safe Autonomy

   Chuchu Fan | Association for Computing Machinery, 2024

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1665 Kč

   Koupit
3. 

   Software Verification

   Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1299 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více